Babanov Alexey M., Skachkova Anna S. «Theorem proving method for ERM-model formal system» // 2010. №2(11) C.113-123
Поиск по сайту
Recent News
Contacts
- 36, Lenin Avenue, Tomsk, 634050, Russia, Tomsk State University, Institute of Applied Mathematics and Computer Science
- Alexander Zamyatin - Editor-in-Chief, Doctor of Science, Prof., Director of the Institute of Applied Mathematics and Computer Science
- (3822) 529-496
- vestnik_uvti@mail.tsu.ru
License type:
Tomsk State University Journal of Control and Computer Science
